logique d'ordre supérieur中文什么意思

• 高阶逻辑

• logique:    音标：[lɔʒ ik] f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果 a.
• supérieur:    音标：[syperjœr] supérieur,e a. 上面的，上部的；上游的
• logique d'ordre supérieur#logique du second ordre:    二阶逻辑
• fonction d'ordre supérieur:    高阶函数
• affluent supérieur:    源流

例句与用法

1. Ainsi donc comme son nom l'indique en anglais, PhoX est basé sur la Logique d'ordre supérieur et est extensible.